1201. نظریه مجموعه ها ومباحث مربوط به آن
پدیدآورنده : لیپ چوتز،سیمور
موضوع : ،منطق ریاضی،
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1202. نظریه مجموعهها و کاربردهای آن
پدیدآورنده : / شوو ینگ تی. لین، ویو- فنگ لین
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع : منطق ریاضی
رده :
QA
۲۴۸،
/
ل
۹
ن
۶ ۱۳۶۸
1203. نظریه و مسائل ریاضیات گسسته
پدیدآورنده : لیپشوتز، سیمور
کتابخانه: كتابخانه هرندى (آستان قدس رضوی) (کرمان)
موضوع : راهنمای آموزشی ریاضیات,مسائل، تمرینها و غیره ریاضیات,رئوس مطالب جبر مجرد,رئوس مطالب آنالیز ترکیبی,رئوس مطالب منطق ریاضی
رده :
۵۱۰
/
۷
ل
۸۴۵
ن
/
نت
۱۳۸۹
1204. نظریه و مسائل ریاضیات گسسته
پدیدآورنده : لیپشوتز، سیمور
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - گردش و امانت آقايان (خراسان رضوی)
موضوع : راهنمای آموزشی ریاضیات,مسائل، تمرینها و غیره ریاضیات,رئوس مطالب جبر مجرد,رئوس مطالب آنالیز ترکیبی,رئوس مطالب منطق ریاضی
رده :
۵۱۰
/
۷
ل
۸۴۵
ن
/
نت
۱۳۸۹
1205. نظریه و مسائل ریاضیات گسسته
پدیدآورنده : لیپشوتز، سیمور
کتابخانه: سازمان كتابخانه ها، موزه ها و مركز اسناد آستان قدس رضوى (خراسان رضوی)
موضوع : راهنمای آموزشی ریاضیات,مسائل، تمرینها و غیره ریاضیات,رئوس مطالب جبر مجرد,رئوس مطالب آنالیز ترکیبی,رئوس مطالب منطق ریاضی
رده :
۵۱۰
/
۷
ل
۸۴۵
ن
/
نت
۱۳۸۹
1206. نظریه و مسائل ریاضیات گسسته
پدیدآورنده : لیپشوتز، سیمور
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - گردش و امانت آقايان (خراسان رضوی)
موضوع : ریاضیات -- راهنمای آموزشی,ریاضیات -- مسائل، تمرینها و غیره,جبر مجرد -- رئوس مطالب,آنالیز ترکیبی -- رئوس مطالب,منطق ریاضی -- رئوس مطالب
رده :
۵۱۰
/
۷
ل
۸۴۵
ن
۱۳۸۹
1207. نظریه و مسائل ریاضیات گسسته
پدیدآورنده : لیپشوتز، سیمور
کتابخانه: كتابخانه مروج (آستان قدس رضوی ع) (یزد)
موضوع : راهنمای آموزشی ریاضیات,مسائل، تمرینها و غیره ریاضیات,رئوس مطالب جبر مجرد,رئوس مطالب آنالیز ترکیبی,رئوس مطالب منطق ریاضی
رده :
۵۱۰
/
۷
ل
۸۴۵
ن
/
نت
۱۳۸۹
1208. نظریه و مسائل ریاضیات گسسته
پدیدآورنده : لیپشوتز، سیمور
کتابخانه: كتابخانه امام رضا (ع) (آستان قدس رضوی ع) (کرمان)
موضوع : راهنمای آموزشی ریاضیات,مسائل، تمرینها و غیره ریاضیات,رئوس مطالب جبر مجرد,رئوس مطالب آنالیز ترکیبی,رئوس مطالب منطق ریاضی
رده :
۵۱۰
/
۷
ل
۸۴۵
ن
/
نت
۱۳۸۹
1209. نظریه و مسائل ریاضیات گسسته
پدیدآورنده : لیپشوتز، سیمور
کتابخانه: كتابخانه مرتضوى (آستان قدس رضوی ع) (کرمان)
موضوع : راهنمای آموزشی ریاضیات,مسائل، تمرینها و غیره ریاضیات,رئوس مطالب جبر مجرد,رئوس مطالب آنالیز ترکیبی,رئوس مطالب منطق ریاضی
رده :
۵۱۰
/
۷
ل
۸۴۵
ن
/
نت
۱۳۸۹
1210. نظریه و مسائل ریاضیات گسسته
پدیدآورنده : لیپشوتز، سیمور
کتابخانه: كتابخانه جواد الائمه (ع) (آستان قدس رضوی ع) (کرمان)
موضوع : راهنمای آموزشی ریاضیات,مسائل، تمرینها و غیره ریاضیات,رئوس مطالب جبر مجرد,رئوس مطالب آنالیز ترکیبی,رئوس مطالب منطق ریاضی
رده :
۵۱۰
/
۷
ل
۸۴۵
ن
/
نت
۱۳۸۹
1211. نظریه و مسائل ریاضیات گسسته
پدیدآورنده : / تالیف سیمور لیپشوتز، مارکلارس لیپسون,لیپشوتز,Lipschutz
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : جبر مجرد,آنالیز ترکیبی ,منطق ریاضی, -- رئوس مطالب, -- رئوس مطالب, -- رئوس مطالب
رده :
QA
۱۶۲
/
ل
۹
ر
۹ ۱۳۸۹
الف
1212. نظریه و مسائل ریاضیات گسسته
پدیدآورنده : لیپشوتز، سیمور
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی شهرداری اصفهان (اصفهان)
موضوع : جبر مجرد ،آنالیز ترکیبی ،منطق ریاضی
رده :
511
،
/0202
،
ل
845
ن
،
1389
1213. نظریه و مسائل ریاضیات گسسته
پدیدآورنده : لیپشوتز، سیمور
کتابخانه: سازمان كتابخانه ها، موزه ها و مركز اسناد آستان قدس رضوى (خراسان رضوی)
موضوع : ریاضیات -- راهنمای آموزشی,ریاضیات -- مسائل، تمرینها و غیره,جبر مجرد -- رئوس مطالب,آنالیز ترکیبی -- رئوس مطالب,منطق ریاضی -- رئوس مطالب
رده :
۵۱۰
/
۷
ل
۸۴۵
ن
۱۳۸۹
1214. نظریه و مسائل ریاضیات گسسته
پدیدآورنده : لیپشوتز، سیمور
کتابخانه: كتابخانه امام رضا (ع) (آستان قدس رضوی ع) (کرمان)
موضوع : راهنمای آموزشی ریاضیات,مسائل، تمرینها و غیره ریاضیات,رئوس مطالب جبر مجرد,رئوس مطالب آنالیز ترکیبی,رئوس مطالب منطق ریاضی
رده :
۵۱۰
/
۷
ل
۸۴۵
ن
/
نت
۱۳۸۹
1215. نظریههای اثبات ریاضی
پدیدآورنده : / حسین بیات.,بیات
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق ریاضی,اثباتگرایی منطقی
رده :
QA
۹
/
ب
۹
ن
۶ ۱۳۹۴
1216. نظریهی صدق تارسکی
پدیدآورنده : احمدی، علیاکبر، ۱۳۴۱ -
کتابخانه: کتابخانه، مرکز اسناد و مدارک علمی پژوهشگاه حوزه و دانشگاه (قم)
موضوع : منطق ریاضی
رده :
BC
۱۳۵
/
الف
۳
ن
۶ ۱۳۹۷
1217. نگرشي نوين به مساله اتحاد عاقل و معقول
پدیدآورنده : ديبا، حسين
کتابخانه: كتابخانه امام صادق (ع) زابل (سیستان و بلوچستان)
موضوع : فرگ، گاتلاب، 1925 - 1848م.{Frege, Gottlo},فيلسوفان آلماني -- قرن 19م. -- تاريخ و نقد,منطق رياضي,تحليل فلسفي,توحيد,هستيشناسي (فلسفه اسلامي),وحدت وجود,فلسفه اسلامي,اتحاد عاقل و معقول
رده :
BR
2
الف
/
9
د
1382
1218. ورودي به منطق رياضي
پدیدآورنده : نوشته ايزائيل سالامونووي? گرادشتين , ترجمه پرويز شهرياري
موضوع : منطق رياضي
۱۰ نسخه از این کتاب در ۱۰ کتابخانه موجود است.
1219. ورودي به منطق رياضي: قضيه مستقيم و قضيه معکوس
پدیدآورنده : نوشته ايزائيل سالامونووي? گرادشتين, ترجمه پرويز شهرياري
کتابخانه: كتابخانه عمومی حکیم مدرس زنوزی (آذربایجان شرقی)
موضوع : منطق رياضي
رده :
511
/3
گ
248
و
1220. ورودي به منطق رياضي , قضيه مستقيم و قضيه معکوس
پدیدآورنده : اسرائيل سالامونويچ گرادشتين ترجمه پرويز شهرياري,قضيه مستقيم و معکوس
کتابخانه: كتابخانه عمومی میمند (فارس)
موضوع : مجموعه ها - نظريه منطق صوري و رياضي
رده :
511
3-
گ
248
و